digraph A4{
a41 -> a42 [label="w"]

a42 -> a43 [label="s"]
a42 -> a44 [label="c"]

a43 -> a45 [label="d"]

a44 -> a41 [label="d"]
a44 -> a43 [label="e"]

a45 -> a44 [label="a"]

[initial={a41}]
[final={a41, a45}]
}
